Probabilistic legal reasoning in CHRiSM
نویسندگان
چکیده
منابع مشابه
Probabilistic legal reasoning in CHRiSM
Riveret et al. have proposed a framework for probabilistic legal reasoning. Their goal is to determine the chance of winning a court case, given the probabilities of the judge accepting certain claimed facts and legal rules. In this paper we tackle the same problem by defining and implementing a new formalism, called probabilistic argumentation logic, which can be seen as a probabilistic genera...
متن کاملProbabilistic Termination of CHRiSM Programs
Termination analysis has received considerable attention in Logic Programming for several decades. In recent years, probabilistic extensions of Logic Programming languages have become increasingly important. Languages like PRISM, CP-Logic, ProbLog and CHRiSM have been introduced and proved very useful for addressing problems in which a combination of logical and probabilistic reasoning is requi...
متن کاملOn direct and indirect probabilistic reasoning in legal proof
In the academic literature three approaches to rational legal proof are investigated, broadly speaking based, respectively on Bayesian statistics, on scenario construction and on argumentation. In this paper these approaches are discussed in light of a distinction between direct and indirect probabilistic reasoning. Direct probabilistic reasoning directly reasons from evidence to hypotheses, wh...
متن کاملExamples in Legal Reasoning: Legal Hypotheticals
This paper discusses examples, p a r t i c u l a r l y hypo the t i ca ls , t he i r use and generat ion, in legal reasoning. It examines the use of sequences of hypo the t i ca ls .
متن کاملArgumentation in Legal Reasoning
A popular view of what Artificial Intelligence can do for lawyers is that it can do no more than deduce the consequences from a precisely stated set of facts and legal rules. This immediately makes many lawyers sceptical about the usefulness of such systems: this mechanical approach seems to leave out most of what is important in legal reasoning. A case does not appear as a set of facts, but ra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2013
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068413000483